Skip to content

Introducing Ability to Detect Non-Negativity Constraints + Some Helper Methods for Breaking Down Large Constraints Into Smaller Ones#20

Merged
kwesiRutledge merged 6 commits intomainfrom
kr/feature/non-negativity1
Aug 29, 2025
Merged

Introducing Ability to Detect Non-Negativity Constraints + Some Helper Methods for Breaking Down Large Constraints Into Smaller Ones#20
kwesiRutledge merged 6 commits intomainfrom
kr/feature/non-negativity1

Conversation

@kwesiRutledge
Copy link
Collaborator

No description provided.

@kwesiRutledge kwesiRutledge self-assigned this Aug 23, 2025
@codecov
Copy link

codecov bot commented Aug 23, 2025

Codecov Report

❌ Patch coverage is 85.18519% with 12 lines in your changes missing coverage. Please review.
✅ Project coverage is 87.44%. Comparing base (d38793d) to head (e3c0252).
⚠️ Report is 1 commits behind head on main.

Files with missing lines Patch % Lines
symbolic/constraint.go 75.00% 7 Missing ⚠️
symbolic/scalar_constraint.go 91.42% 2 Missing and 1 partial ⚠️
symbolic/monomial.go 50.00% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main      #20      +/-   ##
==========================================
+ Coverage   87.42%   87.44%   +0.01%     
==========================================
  Files          42       42              
  Lines        6251     6332      +81     
==========================================
+ Hits         5465     5537      +72     
- Misses        711      719       +8     
- Partials       75       76       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@kwesiRutledge kwesiRutledge merged commit 9adff8d into main Aug 29, 2025
4 of 5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant